1. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
2. Category theory for the sciences /
پدیدآورنده : David I. Spivak
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Science-- Mathematical models
رده :
Q175
.
32
.
M38
S65
2014
3. Category theory for the sciences
پدیدآورنده : Spivak, David I.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : Mathematical models ، Science,، Categories )Mathematics(
رده :
Q
175
.
32
.
M38
S65
2014
4. Temporal type theory :
پدیدآورنده : Patrick Schultz, David I. Spivak.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System theory.,System theory.
رده :
Q295
.
S38
2019
